floating-point numbers - German English Dictionary